Quantum logic - PDFSEARCH.IO - Document Search Engine

Quantum logic
Results: 232

#	Item
181	Physics from Computer Science — a position statement — S AMSON A BRAMSKY1 ⋆, B OB C OECKE1† Oxford University Computing Laboratory, UK Received 17 December 2005; In final form 17 March 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:58 Quantum mechanics Information theory Quantum measurement Quantum computer Quantum teleportation Quantum logic Density matrix Qubit Physical information Physics Theoretical computer science Quantum information science
182	Petri Nets, Discrete Physics, and Distributed Quantum Computation Samson Abramsky Oxford University Computing Laboratory This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:50 Mathematics Braided monoidal category Petri net Monoid PRO Penrose graphical notation Linear logic Tensor product Tensor Category theory Algebra Monoidal categories
183	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. http://web.comlab.ox.ac.uk/oucl/wo Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:09 Monoidal categories Dagger compact category Braided monoidal category Compact closed category Monoid Vector space Closed category Quantum logic Product Algebra Category theory Mathematics
184	Under consideration for publication in Math. Struct. in Comp. Science A Categorical Quantum Logic SAMSON ABRAMSKY ROSS DUNCAN Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:05 Biproduct Closed monoidal category Compact closed category Dagger compact category Quantum logic Coproduct Braided monoidal category Closed category Category of finite dimensional Hilbert spaces Category theory Mathematics Monoidal categories
185	A Design of and Design Tools for a Novel Quantum Dot Based Microprocessor Michael T. Niemier Add to Reading List Source URL: www.cse.nd.edu Language: English - Date: 2001-03-14 15:23:39 Digital electronics Digital circuits Electronic design Integrated circuits Quantum dot cellular automaton Quantum cellular automata Logic gate Flip-flop Arithmetic logic unit Electronic engineering Electronics Cellular automata
186	Logic in Wire: Using Quantum Dots to Implement a Microprocessor Michael T. Niemier, Peter M. Kogge University of Notre Dame, Computer Science and Engineering, Add to Reading List Source URL: www.cse.nd.edu Language: English - Date: 2001-03-14 15:20:28 Digital electronics Electronic design Automata theory Quantum dot cellular automaton Digital circuits Quantum cellular automata Flip-flop Clock signal Logic gate Electronic engineering Electronics Cellular automata
187	Architectural Issues and Possibilities in Quantum Cellular Automata (QCA) Michael T. Niemier Add to Reading List Source URL: www.cse.nd.edu Language: English - Date: 2001-03-19 10:54:04 Automata theory Quantum dot cellular automaton Quantum cellular automata Clock signal Nonvolatile BIOS memory Cell Logic gate Cellular automata Computer hardware Computer architecture
188	A Potentially Implementable FPGA for Quantum Dot Cellular Automata Michael Thaddeus Niemier University of Notre Dame Add to Reading List Source URL: www.cse.nd.edu Language: English - Date: 2002-01-28 16:24:22 Integrated circuits Automata theory Quantum dot cellular automaton Electronic design Quantum cellular automata Field-programmable gate array Complex programmable logic device Logic gate Digital electronics Electronic engineering Electronics Cellular automata
189	Modal and Temporal Logics for Processes Colin Stirling Dept. of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:46 Combinatory logic Diagrams Science Quantum mechanics Selection rule Spectroscopy
190	Samson Abramsky Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:17 Knot theory Von Neumann algebras Braids Temperley–Lieb algebra Polynomials Jones polynomial Lieb Monoid Louis Kauffman Algebra Abstract algebra Mathematics

UPDATE